automatic inference grammar

自动推理文法